Programming Logic – alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "programming logic" finden. Könnten diese Produkte zu Ihrer Suche passen?

Dale Miller

Proof Theory and Logic Programming

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper u…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 100,53* Aktueller Preis: EUR 100,53

Artikel merken

In den Warenkorb

Menge ändern

Learning and Reasoning

This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjin…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 131,42* Aktueller Preis: EUR 131,42

Artikel merken

In den Warenkorb

Menge ändern

Sam Cooper

Kotlin Brain Teasers

Level up your Kotlin the fun way! Solve mysteries, dodge traps, and banish bugs. Sharpen your critical thinking to ace interviews and ship rock-solid code.Can you outsmart the Kotlin compiler? Detect, ded…

lieferbar innerhalb 1-2 Wochen

Buch

EUR 39,15* Aktueller Preis: EUR 39,15

Artikel merken

In den Warenkorb

Menge ändern

Programming Languages and Systems

.- Type Systems, Safety, and Verification. .- Memory Safety: Uniqueness as Separation. .- Fair Termination for Resource-Aware Active Objects. .- A Formal Foundation for Equational Reasoning on Probabilist…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04* Aktueller Preis: EUR 81,04

Artikel merken

In den Warenkorb

Menge ändern

Practical Aspects of Declarative Languages

This book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025, held in Denver, CO, USA, during January 20-21, 2025.The 15 full…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51* Aktueller Preis: EUR 63,51

Artikel merken

In den Warenkorb

Menge ändern